|
|
|
| e-Pub |
Previous | 
Home
Section: Dissemination
Teaching - Supervision - Juries
Teaching
-
Licence: Thibaut Balabonski, “Travaux dirigés de Caml Light”, 14 hours, L1, Collège Stanislas (classes préparatoires MPSI), France.
-
Licence: Julien Cretin, “Bases de données”, 26h, L3, U. Paris Diderot, France.
-
Licence: Julien Cretin, “Principe de fonctionnement des machines binaires”, 33h, L1, U. Paris Diderot, France.
-
Licence: Jacques-Henri Jourdan, “Langages de programmation et compilation”, 46h, L3, École Normale Supérieure, France.
-
Licence: François Pottier, “Algorithmique et programmation” (INF431), 13h30, L3, École Polytechnique, France.
-
Licence: Gabriel Scherer, “IF1: Introduction to computer science and programming”, 42h, L1, U. Paris Diderot, France.
-
Master: Xavier Leroy and Didier Rémy, “Functional programming and type systems”, 12h + 18h, M2, MPRI master, France.
-
Master: Luc Maranget, “Semantics, languages and algorithms for multicore programming”, 9h, M2, MPRI master, France.
-
Master: François Pottier, “Compilation” (INF564), 13h30, M1, École Polytechnique, France.
-
Master: Jonathan Protzenko, “Conception et mise en œuvre d'algorithmes” (MOOC), 32h, M1, Coursera / École Polytechnique, France.
-
Master: Gabriel Scherer, “Advanced Functional Programming”, 30h, M1, U. Paris Diderot, France.
-
Doctorat: Xavier Leroy, “Mechanized semantics”, 6h, Verification Technology, Systems & Applications summer school 2013, Nancy, France.
Supervision
-
PhD in progress: Julien Cretin, “Erasable coercions: a unified approach to type systems”, École Polytechnique, since December 2010, supervised by Didier Rémy, to be defended January 30th, 2014.
-
PhD in progress: Pierre Halmagrand, “Déduction Automatique Modulo”, CNAM, since September 2013, supervised by David Delahaye, Damien Doligez, and Olivier Hermant.
-
PhD in progress: Jonathan Protzenko, “Fine-grained static control of side effects”, U. Paris Diderot, since September 2010, supervised by François Pottier.
-
PhD in progress: Gabriel Scherer, “Term inference”, U. Paris Diderot, since October 2011, supervised by Didier Rémy.
-
PhD in progress: Jacques-Henri Jourdan, “Formal verification of a static analyzer for critical embedded software”, U. Paris Diderot, since September 2012, supervised by Xavier Leroy.
Juries
Damien Doligez was a member of the Ph.D. jury of Mélanie Jacquel, CNAM, Paris, april 2013.
Xavier Leroy was a member of the Ph.D. jury of Xiaomu Shi, Université Joseph Fourier, Grenoble, july 2013. Xavier Leroy was president of the Ph.D. jury of Pierre-Nicolas Tollitte, CNAM, Paris, december 2013.